Propety-based testingを実行するとテスト対象コードのバグが見つかるか、テスト対象ドメインの自分の理解のバグが見つかるか、それら両方である

Property Based Testing (PBT, QC) 界隈には「PBT を実行するとテスト対象コードのバグが見つかるか、テスト対象ドメインの自分の理解のバグが見つかるか、それら両方である」という格言がある。今回も見事にそうなった。100 行程度のコードでバグが見つかるのはほんとうにすばらしい。

だれの言葉だったかは忘れた(もとは英語だったかな)。こんな格言が何度も身に沁みているにも関わらず、なんか PBT を書き始めようとするのに心理的な障壁があるのはなんとかしたい(めんどくさいんだよ...)。